Жуковская А. О. , Стефанцов Д. А. «Разработка автоматизированного средства для доказательства свойств программ» // Прикладная дискретная математика 2014. №7 (Приложение) C.148-150
Стефанцов Д. А. , Жуковская А. О. «Разработка автоматизированного средства для доказательства свойств программ» // Прикладная дискретная математика. Приложение 2014. №7 C.148-150
Вы можете добавить статью